41. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده : Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
42. International law and international relations scholarship / Robert J. Beck -- International law and international community / Andreas Paulus -- Legal theory and international law / Friedrich Kratochwil -- Soft law / Dinah Shelton -- The practice of international law / Anthony Carty -- International law as a unitary system / Anthony D'Amato -- International law in the ancient world / David J. Bederman -- The age of Grotius / Edward Keene -- The legacy of the nineteenth century / Martti Koskenniemi -- Latin American international law / Liliana Obregón -- Religion and international law : an analytical survey of the relationship / Mashood Baderin -- The struggle for an international constitutional order / Marc Weller -- Law and force in the twenty-first century / Gerry Simpson -- The nature of US engagement with international law : making sense of apparent inconsistencies / Shirley Scott -- The Iraq war and international law / Wayne Sandholtz -- The International Criminal Court / Beth Simmons and Allison Danner -- Fidelity to constitutional democracy and to the rule of international law / Allen Buchanan and Russell Powell -- International crimes / William A. Schabas -- Challenges of the "
پدیدآورنده : edited by David Armstrong ; editorial board, Jutta Brunée ... [et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
45. Science and the modern world.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cosmology.,Science-- History.,Science-- Philosophy.,Science-- Social aspects.,Science.,Theology.,Cosmology.,Filosofie.,Godsdienst.,Kosmologie.,Natuurwetenschappen.,Science-- History.,Science-- Philosophy.,Science-- Philosophy.,Science-- Social aspects.,Science.,Theology.,Wereldbeschouwing.
رده :
Q175
.
W65
1967
46. The Arché papers on the mathematics of abstraction /
پدیدآورنده : edited by Roy T. Cook.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
47. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
48. The Totalizing Act:
پدیدآورنده : by Jonathan Kearns Cooper-Wiele.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : History.,Philosophy (General)
رده :
B3279
.
H94
B956
1989
49. The limits of abstraction
پدیدآورنده : Kit Fine
کتابخانه: کتابخانه پردیس هنرهای زیبا دانشگاه تهران (تهران)
موضوع : Mathematics -- Philosophy,Abstraction
رده :
QA
8
.
4
.
F56
50. The limits of abstraction /
پدیدآورنده : Kit Fine.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstraction.,Mathematics-- Philosophy.,Abstraction.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.
رده :
QA8
.
4
.
F56
2008eb
51. The limits of abstraction
پدیدآورنده : Fine, Kit, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Abstraction
رده :
QA
8
.
4
.
F56L5
52. The medium of contingency :
پدیدآورنده : Elie Ayache
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Contingencies in finance,Derivative securities-- Prices
رده :
HG6024
.
A3
A953
2015
53. The metaphysics and mathematics of arbitrary objects /
پدیدآورنده : Leon Horsten, University of Bristol
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,Mathematics-- Philosophy.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics),Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics)
رده :
QA8
.
4
.
H67
2019eb
54. The origin of the logic of symbolic mathematics :
پدیدآورنده : Burt C. Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
55. There's something about Gödel :
پدیدآورنده : Francesco Berto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
56. Thinking-driven testing :
پدیدآورنده : Adam Roman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758